Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
291	Pinpointing in the Description Logic EL Franz Baader1, Rafael Pe˜ naloza2⋆ , and Boontawee Suntisrivaraporn1 1 Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Ontology Mathematical logic Abox Function Tbox Algorithm Axiom Boolean satisfiability problem Time complexity Mathematics Theoretical computer science Applied mathematics
292	R Foundations and Trends in Machine Learning Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-10-07 09:14:41 Convex optimization Submodular set function Ellipsoid method Linear programming Pseudo-Boolean function Subgradient method Optimization problem Convex analysis Combinatorial optimization Mathematical optimization Mathematical analysis Operations research
293	Journal of Artificial Intelligence Research[removed]472 Submitted[removed]; published[removed] Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2008-03-25 22:30:40 Dynamic programming Model theory Markov processes Stochastic control Boolean algebra Markov decision process Reinforcement learning Function Propositional variable Mathematics Statistics Logic
294	[removed]Propositional models Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:16 Propositional calculus Boolean algebra Algebraic logic Logic Truth table Boolean function Canonical form Predicate Logical connective Mathematical logic Mathematics Abstract algebra
295	The Rational Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-01 09:13:26 Algebraic logic Boolean algebra Metalogic Model theory Sigma-algebra Structure Function Action algebra Mathematics Mathematical logic Abstract algebra
296	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
297	SoftCOM[removed]8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:41:14 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
298	Program WCC[removed]Monday, April 15 Invited Talk 1 Chairman: Tor Helleseth 9:00 – 9:50 Kai-Uwe Schmidt, Low autocorrelation sequences Add to Reading List Source URL: www.selmer.uib.no Language: English - Date: 2013-04-18 03:17:40 Mathematics Boolean algebra Algebra Finite fields List decoding Bent function Block cipher Cipher Code Error detection and correction Coding theory Cryptography
299	doi:[removed]j.tcs[removed] Add to Reading List Source URL: slink.foiks.org Language: English - Date: 2009-01-06 15:28:52 Mathematics Functional dependency Multivalued dependency Relational model Fourth normal form Function Database normalization Boolean algebra Universal quantification Data modeling Database constraints Data management
300	Computer Organization II[removed] Add to Reading List Source URL: educypedia.karadimov.info Language: English - Date: 2000-09-19 06:40:44 Mathematics Algebraic logic Logic in computer science Propositional calculus Logic Karnaugh map Canonical form Boolean function Truth table Boolean algebra Mathematical logic Abstract algebra

UPDATE